package com.shigi.sat;

import com.shigi.sat.ga.GAConfig;
import com.shigi.sat.ga.GASolver;

/**
 * Created by msiagi on 3.2.2015.
 */
public class SatProblemInitializer {
    public static SatProblem initializeSatProblem(GAConfig gaConfig) {
        return new SatProblem(new SatLoader(), new GASolver(gaConfig));
    }
}
